Mandated Requirements for Hardware/Software Combination in Safety-Critical Systems
نویسندگان
چکیده
Safety-critical systems are an important subset of high-assurance systems. Higher performance requirements have led to the increased use of combined hardware/software systems therein, with hardware devices taking processing load off software. As might be expected, safety-critical systems have many requirements made of them by established standards. By implication, and now by emerging safety standards, such requirements must be discharged over hardware/software combinations, with important ramifications for best practice. In this paper we discuss the impact that such requirements have on the co-development of hardware/software combinations, and suggest adaptations of existing best practice that could discharge them.
منابع مشابه
Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report
[Context and motivation] Software safety requirements are fundamental in the definition of risk reduction measures for safety critical systems, since they are developed to satisfy the system safety constraints as identified by mandated safety analyses. It is therefore imperative that the requirements are defined clearly and precisely. [Question/Problem] We describe our experiences in introducin...
متن کاملSafety Functions on Commodity Hardware with Diversified Encoding
Currently, hardware designed and certified for safety-critical systems is one important building block for any safety-critical application. Such hardware provides the detection of execution errors. However, many modern safety-critical applications, like autonomous driving, require features and performance levels that are not available from safety-certified hardware. One solution to this problem...
متن کاملDeveloping Safety-critical Software Requirements for Commercial Reusable Launch Vehicles
A number of inventors and entrepreneurs are currently attempting to develop and commercially operate reusable launch vehicles to carry voluntary participants into space. To reduce the risk to the public in the operation of these vehicles, a launch vehicle operator typically performs analyses to identify safety measures and develop safety requirements. The focus of these safety efforts has histo...
متن کاملDesign patterns for safety-critical embedded systems
Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...
متن کاملEngineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements
As software-intensive systems become more pervasive, more and more safety-critical systems are being developed. In this column, I will use the concept of a quality model to define safety as a quality factor. Thus, safety (like security and survivability) is a kind of defensibility, which is a kind of dependability, which is a kind of quality. Next, I discuss the structure of quality requirement...
متن کامل